41. Handbook of software reliability engineering
پدیدآورنده : Michael R. Lyu, editor in chief
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Reliability - Handbooks, manuals, etc
رده :
QA
76
.
76
.
R44
H36
1995
42. Handbook of software reliability engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Handbook, manuals, etc ، Computer software-- Reliability
رده :
QA
76
.
76
.
R44
.
H36
1995
43. High integrity software: the Spark approach to safety and security
پدیدآورنده : Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003
44. How to break software security: effective techniques for security testing
پدیدآورنده : Whittaker, James A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer security,Testing ، Computer software,Reliability ، Computer software
رده :
QA
76
.
9
.
A25
W48
2004
45. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
46. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
رده :
T55
.
A1
F455
1998
47. Industrial perspectives of safety-critical systems: proceedings of the Sixth Safety-critical Systems Symposium Birmingham, 1998
پدیدآورنده : Felix Redmill and Tom Anderson, ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Industrial safety,Reliability - Congresses ، Automatic control,Reliability - Congresses ، Computer software
رده :
T
55
.
A1
S225
1998
48. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Reliability )Engineering(,، Electronic digital computers - Reliability,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
49. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Reliability )Engineering(,Reliability ، Electronic digital computers,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
50. Introduction to reliable distributed programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Computer software ; Reliability. ;
51. Introduction to reliable distributed programming
پدیدآورنده : / Rachid Guerraoui, Luis Rodrigues
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic data processing- Distributed processing,Computer software- Reliability
رده :
QA76
.
9
.
D5
,
G82
2006
52. Jenkins continuous integration cookbook
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development,Computer software-- Quality control,Computer software-- Reliability,Computer software-- Testing,Open source software,Web sites-- Design
رده :
QA76
.
76
.
Q35
B47
2012
53. Lean enterprise :
پدیدآورنده : Jez Humble, Joanne Molesky & Barry O'Reilly
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development,Computer software-- Reliability,Computer software-- Testing
رده :
QA76
.
76
.
D47
54. Life cycle management for dependability /
پدیدآورنده : Felix Redmill and Chris Dale (eds)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability,Electronic digital computers-- Reliability
رده :
QA76
.
76
.
R44
L53
1997
55. MISRA-C++:2008 :
پدیدآورنده : Motor Industry Software Reliability Association.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automobiles-- Electronic equipment, Software-- Reliability.,Automobiles-- Safety appliances, Software-- Reliability.,C++ (Computer program language),Computer software-- Reliability.,System safety-- Specifications.,Automobiles-- Electronic equipment.,Automobiles-- Safety appliances.,C++ (Computer program language),Computer software-- Reliability.,System safety.
رده :
TL272
.
5
.
M686
2008
56. MISRA-C:
پدیدآورنده : Motor Industry Software Reliability Association.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automobiles -- Electronic equipment -- Software -- Reliability.,Automobiles -- Safety appliances -- Software -- Reliability.,Computer software -- Reliability.
رده :
TL272
.
5
M686
2008
57. Mathematics of dependable systems : based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993
پدیدآورنده : edited by Chris Mitchell and Victoria Stavridou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Reliability - Mathematical models - Congresses , Electronic digital computers - Reliability - Mathematical models - Congresses
رده :
QA
76
.
76
.
R44
M38
1993
58. Measurement For Software Control And Assurance
پدیدآورنده : Edited by B. A. Kitchenham, B. Littlewood
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer Software- Quality Control- Congresses,Computer Software- Reliability- Congresses
رده :
QA
،
76
.
76
،.
Q35
,
C57
،
1987
59. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
60. New trends in software methodologies, tools and techniques: proceedings of Lyee W03, the second International Workshop on Lyee Methodology
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Reliability
رده :
QA
76
.
758
.
I577
2003